Benjamin Bisping and Uwe Nestmann (2019). Computing Coupled Similarity. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019, 244–261.

Nestmann, Uwe und Wilhelm-Weidner, Arno (2014). Vorlesungen innovativ gestalten, chapter Screencasts Pro:Wie Lehrvideos die Vorlesung ergänzen können. BELTZ Verlag, 149–158.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). Mechanical Verification of a Constructive Proof for FLP. International Conference on Interactive Theorem Proving. Springer, 107–122.

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2017). Session Types for Link Failures.

Peters, Kirstin and Jens-Wolfhard Schicke-Uffmann and Goltz, Ursula and Nestmann, Uwe (2016). Synchrony versus causality in distributed systems. , 1459–1498.

Gebler, Daniel and Peters, Kirstin (2016). Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics.

Rickmann, Christina and Wagner, Christoph and Nestmann, Uwe and Schmid, Stefan (2016). Topological Self-Stabilization with Name-Passing Process Calculi. 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 19:1–19:15.